退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:模块化SMT证明,可在Coq内部进行快速反射检查
Besson, Frédéric; Cornilleau, Pierre-Emmanuel; Pichardie, David;
机译:使用逻辑框架进行SMT证明检查
机译:具有单例类型和证明不相关性的类型理论的模块化类型检查算法
机译:快速近似的概率检验证明
机译:模块化SMT证明,可在Coq内部快速进行自反检查
机译:高效的SMT解决方案,用于硬件模型检查。
机译:GsMTx4对巨原生质球由内而外贴片中细菌机械敏感通道的影响
机译:可扩展且准确的基于smT的数据流系统模型检测。
机译:通常用于从管道和类似接头的内部进行检查的设备,用于证明防水或吸收壁,导管或容器的设备。 (通过Google翻译进行机器翻译,没有法律约束力)
机译:上下文敏感,反身增量式设计规则检查方法及其应用
机译:RSMT RB RMT AFA香樟木和柏科和Abies koreana WILS的AFA香精油化合物可提高SMR〜Metaβ与theta的RSMT比RB相对β功率谱Reta中β与theta AFA的RMT比绝对快速α功率谱
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。